-
1 program correctness
правильность [работы] программысм. тж. verificationАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > program correctness
-
2 program correctness
The English-Russian dictionary on reliability and quality control > program correctness
-
3 program correctness proof
доказательство правильности программы
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > program correctness proof
-
4 program correctness prover
Большой англо-русский и русско-английский словарь > program correctness prover
-
5 program correctness proof
Вычислительная техника: доказательство правильности программыУниверсальный англо-русский словарь > program correctness proof
-
6 program correctness prover
English-Russian dictionary of computer science and programming > program correctness prover
-
7 program correctness proof
English-Russian information technology > program correctness proof
-
8 correctness
корректность, правильностьнапример, correctness proof - доказательство правильностисм. тж. program correctnessАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > correctness
-
9 prover
-
10 prover
English-Russian dictionary of computer science and programming > prover
-
11 verification
1) верификация, контроль, проверкасм. тж. data verificationб) в САПР электроники - проверка правильности электрических соединений принципиальной электрической схемы или соблюдения технологических норм изготовления печатных плат2) верификацияб) в программной инженерии - процесс оценки системы и/или её компонентов с целью установить, соответствуют ли в конце данного этапа разработки эти продукты спецификациям и условиям, налагаемым в его начале. Верификация не обнаружит ошибку, если входная спецификация была неверна, и эта ошибка может распространиться на дальнейшие этапы разработкиАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > verification
-
12 PC
1) Общая лексика: ПЭВМ, (Permanent Council) ПС (Постоянный совет) (ОБСЕ)2) Компьютерная техника: Painless Computing, Personal Computing, Personally Configured, Poor Communication, Proactive Computing, Processor Control, Programmable Calculator3) Геология: Pacific Coast, Pocket Computer4) Медицина: Prompt Care, primary cell, prenylcysteine5) Американизм: Penn Charter, Presidents Council, Privatization And Cuts6) Спорт: Paul's Chips, Pitch Class, Player Characteristic, Player Coach, Pre Christ, Punt Center, Республиканский Совет7) Латинский язык: Patres Conscripti8) Военный термин: II PROVIDE COMFORT II, Parallel Computing, Pass Certified, Patrol Coastal, Pay Corps, Paymaster-in-Chief, Pharmacy Corps, Police Corps, Postal Clerk, Power Converter, Procurement Command, Provide Comfort, pack code, panoramic camera, paralyzing concentration, parts catalog, past commander, patrol carrier, patrol commander, patrol craft, pay clerk, performance code, personnel carrier, plane captain, plane commander, port call, positive control, post commander, power control, predictor control, primary center, principal chaplain, procurement coordinator, production control, program change, program control, programmed check, project code, project control, project coordination, projector charge, prophylactic center, prototype concept, pseudocode, purchasing and contracting9) Техника: Personal Call, current price, paper chromatography, parity check, parity control, partly cash, pay card, perfectly conducting, peripheral controller, personal correction, phase center, photo-cathode, photoconductor, plant computer, plasma chromatography, polar crane, polymer concrete, power center, pressure chamber, prime contractor, private circuit, process computer, process control, process controller, production certificate, professional communication, program console, program coordinator, program costs, project charter, proportional counter, propulsive coefficient, protective clothing, protective coating, pulse counter, показатель концентрации солей10) Сельское хозяйство: post challenge, prime cost11) Шутливое выражение: Perfect Computer, Personal Confuser, Plastic Computer12) Химия: Propylene Carbonate, potential controller13) Математика: Perfectly Complex, Polar Cycloaddition, исчисление высказываний (propositional calculus), исчисление предикатов (predicate calculus), парное сравнение (paired comparison)14) Религия: Perfectly Created, Persecuted Christian15) Метеорология: Program Council16) Железнодорожный термин: Consolidated Rail Corporation17) Юридический термин: Partial Conversion, Personal Cause, Personal Copier, Personally Corrupt, Physical Containment, Plain Courtesy, Probable Cause18) Бухгалтерия: Per Capita, Premier Casting19) Астрономия: Planetary Contrast20) Ветеринария: Pet Chihuahua, Pony Club21) Грубое выражение: Piece Of Crap, Poncey Crap, Pretentious Crap, Pretty Crappy, Pushy Chick22) Металлургия: первичное охлаждение (primary cooling) (прямого коксового газа)23) Музыка: Polyphonic Collection24) Оптика: photoconductive25) Политика: Pitcairn Islands, Progressive Conservative, политкорректно, политкорректный26) Радио: Poor Connection, PALAPA-C, диапазон С-Палапа (спутниковый)27) Телекоммуникации: Path Control, Personal Communications, Program Counter, персональный компьютер28) Сокращение: (type abbreviation) Patrol craft, Patrol Craft (River; R), Patrol Craft, Fast (USA; F), Peace Corps, PerCent; PerCentage, Personal Computer (IBM wants you to believe a specific kind), Physical Conditioning, Platoon Commander, Player Character, Post Card, Postal & Courier, Printed Circuit (electronics circuit board), Privileged Character, Privy Council, Providence College, Pulse Compression, paid cash, pitch circle, planned cost, plug cock, point of curve, police constable, private contract, production cost, тайный совет (Великобритания) (a privy council), Progressive Conservative party (Canada), Post Cibum (after meals), prime costs, privy councillor29) Текстиль: Pearl Cotton30) Университет: Partial Credit, Pomona College31) Физиология: After Meals, Perforated Cranium, Peripheral Clarity, Phone call, Posterior Cervical, Present Complaint32) Электроника: Powder Coating, Pre-emphasis Circuits33) Вычислительная техника: DOS personal computer disk operating system, Priority Control, Protocol Control, parameter checkout, photocell, primary cache, processing complexity, programmable controller, pulse code, pulse controller, punched card, Printed Circuit (IC), Player Character (see, Role-playing), персональный компьютер семейства IBM PC, указатель команд34) Нефть: photoclinometer, производственный сертификат (production certificate), Peзиcтивимeтpия35) Иммунология: Primitive Cell36) Биохимия: phosphatidylcholine37) Онкология: Prostate Cancer38) Картография: pilotage chart, point of curvature39) Банковское дело: мелкие деньги (petty cash), небольшая наличная сумма (petty cash), разменная монета (petty cash), сертификат участия (PC participation certificate)40) Биотехнология: Pockels cell41) Геофизика: персональная электронно-вычислительная машина42) Транспорт: Passenger Car, Politically Correct, Precious Cargo43) Пищевая промышленность: Pass The Corona, Plant Corn, Pork Chops44) Силикатное производство: photochromic, portland cement45) Фирменный знак: PCA Electronics, Prism Card46) Энергетика: (powderized coal) порошкообразный уголь48) Деловая лексика: Paper Copy, Paying Customer, Person Contacted, Personally Crafted, Planning And Control, Power Compact, Precedents Committee, Product Closure, Production Capability, Production Cup, Professional Corporation, Profit Choice, Profitability Constraint, Purchase Constantly, персональная вычислительная машина (personal computer), частичная загрузка, производственный контракт49) Бурение: портер-крик (Porter Creek; свита группы мидуэй палеоцена третичной системы), пэйнт-крик (Paint Creek; свита отдела честер миссисипской системы), укороченная бурильная труба (pony collar)50) Глоссарий компании Сахалин Энерджи: Pressure control, processing center51) Образование: Perfect For Child, Phrase Command, Physically Challenged, Polite And Courteous52) Инвестиции: participation certificate, petty cash53) Сетевые технологии: Personal Cluster, personal computer, ПК, персональный компьютер семейства54) Полимеры: polycarbonate, polychloroprene, post-chlorinated, potential corrosivity, pressure controller55) Автоматика: plug control, персональная ЭВМ, программируемый командоаппарат, программируемый контроллер56) Контроль качества: parameter check-out57) Химическое оружие: ( KHIMBIOKOM) -\> President's Committee for Conventional Problems of Chemical and Biological Weapons, Project coordinator59) Макаров: phase comparator, programmable control, programming center, поликарбонат, (plug control) цикловое ПУ60) Расширение файла: Parametric Cubic, Printed Circuit, Processor Controller, Program Computer, Punch Card, Text file containing IBM PC specific info61) Нефть и газ: process condensate, performance contract, (Production Crude) Добытая нефть62) Логистика: physical cases (кейсы, ящики, контейнеры)63) Военно-политический термин: Political Committee64) Электротехника: peaking capacity, phase control, power contactor, pulsating current, pulverized coal65) Имена и фамилии: Prince Charming66) Ebay. Piece (e.g., "2pc" means the auction comes with two total units)67) Печатные платы: production capable68) ООН: Peaceful Coexistance69) Цемент: plain cement, бездобавочный цемент, клинкерный цемент, цемент без добавок, чистый клинкерный цемент, straight cement70) Общественная организация: Population Connection, Population Council, Presidential Classroom, Programme Committee, Public Citizen71) Должность: Paper Carrier, Perfect Corner, Perfectly Comfortable, Personal Consultant, Poetic Chap, Privy Counsellor72) Чат: Past Caring, Post A Comment, Pretty Chancy, Pretty Cheap, Pretty Clever, Pretty Cool, Pretty Cute73) Правительство: Pacific Crest, Panama City, Florida, Pepper Canyon, Pine Creek74) NYSE. P C Holdings, S. A.75) Аэропорты: система количества мест (Piece Conсept:; as opposed to Weight Conсept)76) Программное обеспечение: Proof Checker77) Хобби: Platina Cards -
13 Pc
1) Общая лексика: ПЭВМ, (Permanent Council) ПС (Постоянный совет) (ОБСЕ)2) Компьютерная техника: Painless Computing, Personal Computing, Personally Configured, Poor Communication, Proactive Computing, Processor Control, Programmable Calculator3) Геология: Pacific Coast, Pocket Computer4) Медицина: Prompt Care, primary cell, prenylcysteine5) Американизм: Penn Charter, Presidents Council, Privatization And Cuts6) Спорт: Paul's Chips, Pitch Class, Player Characteristic, Player Coach, Pre Christ, Punt Center, Республиканский Совет7) Латинский язык: Patres Conscripti8) Военный термин: II PROVIDE COMFORT II, Parallel Computing, Pass Certified, Patrol Coastal, Pay Corps, Paymaster-in-Chief, Pharmacy Corps, Police Corps, Postal Clerk, Power Converter, Procurement Command, Provide Comfort, pack code, panoramic camera, paralyzing concentration, parts catalog, past commander, patrol carrier, patrol commander, patrol craft, pay clerk, performance code, personnel carrier, plane captain, plane commander, port call, positive control, post commander, power control, predictor control, primary center, principal chaplain, procurement coordinator, production control, program change, program control, programmed check, project code, project control, project coordination, projector charge, prophylactic center, prototype concept, pseudocode, purchasing and contracting9) Техника: Personal Call, current price, paper chromatography, parity check, parity control, partly cash, pay card, perfectly conducting, peripheral controller, personal correction, phase center, photo-cathode, photoconductor, plant computer, plasma chromatography, polar crane, polymer concrete, power center, pressure chamber, prime contractor, private circuit, process computer, process control, process controller, production certificate, professional communication, program console, program coordinator, program costs, project charter, proportional counter, propulsive coefficient, protective clothing, protective coating, pulse counter, показатель концентрации солей10) Сельское хозяйство: post challenge, prime cost11) Шутливое выражение: Perfect Computer, Personal Confuser, Plastic Computer12) Химия: Propylene Carbonate, potential controller13) Математика: Perfectly Complex, Polar Cycloaddition, исчисление высказываний (propositional calculus), исчисление предикатов (predicate calculus), парное сравнение (paired comparison)14) Религия: Perfectly Created, Persecuted Christian15) Метеорология: Program Council16) Железнодорожный термин: Consolidated Rail Corporation17) Юридический термин: Partial Conversion, Personal Cause, Personal Copier, Personally Corrupt, Physical Containment, Plain Courtesy, Probable Cause18) Бухгалтерия: Per Capita, Premier Casting19) Астрономия: Planetary Contrast20) Ветеринария: Pet Chihuahua, Pony Club21) Грубое выражение: Piece Of Crap, Poncey Crap, Pretentious Crap, Pretty Crappy, Pushy Chick22) Металлургия: первичное охлаждение (primary cooling) (прямого коксового газа)23) Музыка: Polyphonic Collection24) Оптика: photoconductive25) Политика: Pitcairn Islands, Progressive Conservative, политкорректно, политкорректный26) Радио: Poor Connection, PALAPA-C, диапазон С-Палапа (спутниковый)27) Телекоммуникации: Path Control, Personal Communications, Program Counter, персональный компьютер28) Сокращение: (type abbreviation) Patrol craft, Patrol Craft (River; R), Patrol Craft, Fast (USA; F), Peace Corps, PerCent; PerCentage, Personal Computer (IBM wants you to believe a specific kind), Physical Conditioning, Platoon Commander, Player Character, Post Card, Postal & Courier, Printed Circuit (electronics circuit board), Privileged Character, Privy Council, Providence College, Pulse Compression, paid cash, pitch circle, planned cost, plug cock, point of curve, police constable, private contract, production cost, тайный совет (Великобритания) (a privy council), Progressive Conservative party (Canada), Post Cibum (after meals), prime costs, privy councillor29) Текстиль: Pearl Cotton30) Университет: Partial Credit, Pomona College31) Физиология: After Meals, Perforated Cranium, Peripheral Clarity, Phone call, Posterior Cervical, Present Complaint32) Электроника: Powder Coating, Pre-emphasis Circuits33) Вычислительная техника: DOS personal computer disk operating system, Priority Control, Protocol Control, parameter checkout, photocell, primary cache, processing complexity, programmable controller, pulse code, pulse controller, punched card, Printed Circuit (IC), Player Character (see, Role-playing), персональный компьютер семейства IBM PC, указатель команд34) Нефть: photoclinometer, производственный сертификат (production certificate), Peзиcтивимeтpия35) Иммунология: Primitive Cell36) Биохимия: phosphatidylcholine37) Онкология: Prostate Cancer38) Картография: pilotage chart, point of curvature39) Банковское дело: мелкие деньги (petty cash), небольшая наличная сумма (petty cash), разменная монета (petty cash), сертификат участия (PC participation certificate)40) Биотехнология: Pockels cell41) Геофизика: персональная электронно-вычислительная машина42) Транспорт: Passenger Car, Politically Correct, Precious Cargo43) Пищевая промышленность: Pass The Corona, Plant Corn, Pork Chops44) Силикатное производство: photochromic, portland cement45) Фирменный знак: PCA Electronics, Prism Card46) Энергетика: (powderized coal) порошкообразный уголь48) Деловая лексика: Paper Copy, Paying Customer, Person Contacted, Personally Crafted, Planning And Control, Power Compact, Precedents Committee, Product Closure, Production Capability, Production Cup, Professional Corporation, Profit Choice, Profitability Constraint, Purchase Constantly, персональная вычислительная машина (personal computer), частичная загрузка, производственный контракт49) Бурение: портер-крик (Porter Creek; свита группы мидуэй палеоцена третичной системы), пэйнт-крик (Paint Creek; свита отдела честер миссисипской системы), укороченная бурильная труба (pony collar)50) Глоссарий компании Сахалин Энерджи: Pressure control, processing center51) Образование: Perfect For Child, Phrase Command, Physically Challenged, Polite And Courteous52) Инвестиции: participation certificate, petty cash53) Сетевые технологии: Personal Cluster, personal computer, ПК, персональный компьютер семейства54) Полимеры: polycarbonate, polychloroprene, post-chlorinated, potential corrosivity, pressure controller55) Автоматика: plug control, персональная ЭВМ, программируемый командоаппарат, программируемый контроллер56) Контроль качества: parameter check-out57) Химическое оружие: ( KHIMBIOKOM) -\> President's Committee for Conventional Problems of Chemical and Biological Weapons, Project coordinator59) Макаров: phase comparator, programmable control, programming center, поликарбонат, (plug control) цикловое ПУ60) Расширение файла: Parametric Cubic, Printed Circuit, Processor Controller, Program Computer, Punch Card, Text file containing IBM PC specific info61) Нефть и газ: process condensate, performance contract, (Production Crude) Добытая нефть62) Логистика: physical cases (кейсы, ящики, контейнеры)63) Военно-политический термин: Political Committee64) Электротехника: peaking capacity, phase control, power contactor, pulsating current, pulverized coal65) Имена и фамилии: Prince Charming66) Ebay. Piece (e.g., "2pc" means the auction comes with two total units)67) Печатные платы: production capable68) ООН: Peaceful Coexistance69) Цемент: plain cement, бездобавочный цемент, клинкерный цемент, цемент без добавок, чистый клинкерный цемент, straight cement70) Общественная организация: Population Connection, Population Council, Presidential Classroom, Programme Committee, Public Citizen71) Должность: Paper Carrier, Perfect Corner, Perfectly Comfortable, Personal Consultant, Poetic Chap, Privy Counsellor72) Чат: Past Caring, Post A Comment, Pretty Chancy, Pretty Cheap, Pretty Clever, Pretty Cool, Pretty Cute73) Правительство: Pacific Crest, Panama City, Florida, Pepper Canyon, Pine Creek74) NYSE. P C Holdings, S. A.75) Аэропорты: система количества мест (Piece Conсept:; as opposed to Weight Conсept)76) Программное обеспечение: Proof Checker77) Хобби: Platina Cards -
14 pC
1) Общая лексика: ПЭВМ, (Permanent Council) ПС (Постоянный совет) (ОБСЕ)2) Компьютерная техника: Painless Computing, Personal Computing, Personally Configured, Poor Communication, Proactive Computing, Processor Control, Programmable Calculator3) Геология: Pacific Coast, Pocket Computer4) Медицина: Prompt Care, primary cell, prenylcysteine5) Американизм: Penn Charter, Presidents Council, Privatization And Cuts6) Спорт: Paul's Chips, Pitch Class, Player Characteristic, Player Coach, Pre Christ, Punt Center, Республиканский Совет7) Латинский язык: Patres Conscripti8) Военный термин: II PROVIDE COMFORT II, Parallel Computing, Pass Certified, Patrol Coastal, Pay Corps, Paymaster-in-Chief, Pharmacy Corps, Police Corps, Postal Clerk, Power Converter, Procurement Command, Provide Comfort, pack code, panoramic camera, paralyzing concentration, parts catalog, past commander, patrol carrier, patrol commander, patrol craft, pay clerk, performance code, personnel carrier, plane captain, plane commander, port call, positive control, post commander, power control, predictor control, primary center, principal chaplain, procurement coordinator, production control, program change, program control, programmed check, project code, project control, project coordination, projector charge, prophylactic center, prototype concept, pseudocode, purchasing and contracting9) Техника: Personal Call, current price, paper chromatography, parity check, parity control, partly cash, pay card, perfectly conducting, peripheral controller, personal correction, phase center, photo-cathode, photoconductor, plant computer, plasma chromatography, polar crane, polymer concrete, power center, pressure chamber, prime contractor, private circuit, process computer, process control, process controller, production certificate, professional communication, program console, program coordinator, program costs, project charter, proportional counter, propulsive coefficient, protective clothing, protective coating, pulse counter, показатель концентрации солей10) Сельское хозяйство: post challenge, prime cost11) Шутливое выражение: Perfect Computer, Personal Confuser, Plastic Computer12) Химия: Propylene Carbonate, potential controller13) Математика: Perfectly Complex, Polar Cycloaddition, исчисление высказываний (propositional calculus), исчисление предикатов (predicate calculus), парное сравнение (paired comparison)14) Религия: Perfectly Created, Persecuted Christian15) Метеорология: Program Council16) Железнодорожный термин: Consolidated Rail Corporation17) Юридический термин: Partial Conversion, Personal Cause, Personal Copier, Personally Corrupt, Physical Containment, Plain Courtesy, Probable Cause18) Бухгалтерия: Per Capita, Premier Casting19) Астрономия: Planetary Contrast20) Ветеринария: Pet Chihuahua, Pony Club21) Грубое выражение: Piece Of Crap, Poncey Crap, Pretentious Crap, Pretty Crappy, Pushy Chick22) Металлургия: первичное охлаждение (primary cooling) (прямого коксового газа)23) Музыка: Polyphonic Collection24) Оптика: photoconductive25) Политика: Pitcairn Islands, Progressive Conservative, политкорректно, политкорректный26) Радио: Poor Connection, PALAPA-C, диапазон С-Палапа (спутниковый)27) Телекоммуникации: Path Control, Personal Communications, Program Counter, персональный компьютер28) Сокращение: (type abbreviation) Patrol craft, Patrol Craft (River; R), Patrol Craft, Fast (USA; F), Peace Corps, PerCent; PerCentage, Personal Computer (IBM wants you to believe a specific kind), Physical Conditioning, Platoon Commander, Player Character, Post Card, Postal & Courier, Printed Circuit (electronics circuit board), Privileged Character, Privy Council, Providence College, Pulse Compression, paid cash, pitch circle, planned cost, plug cock, point of curve, police constable, private contract, production cost, тайный совет (Великобритания) (a privy council), Progressive Conservative party (Canada), Post Cibum (after meals), prime costs, privy councillor29) Текстиль: Pearl Cotton30) Университет: Partial Credit, Pomona College31) Физиология: After Meals, Perforated Cranium, Peripheral Clarity, Phone call, Posterior Cervical, Present Complaint32) Электроника: Powder Coating, Pre-emphasis Circuits33) Вычислительная техника: DOS personal computer disk operating system, Priority Control, Protocol Control, parameter checkout, photocell, primary cache, processing complexity, programmable controller, pulse code, pulse controller, punched card, Printed Circuit (IC), Player Character (see, Role-playing), персональный компьютер семейства IBM PC, указатель команд34) Нефть: photoclinometer, производственный сертификат (production certificate), Peзиcтивимeтpия35) Иммунология: Primitive Cell36) Биохимия: phosphatidylcholine37) Онкология: Prostate Cancer38) Картография: pilotage chart, point of curvature39) Банковское дело: мелкие деньги (petty cash), небольшая наличная сумма (petty cash), разменная монета (petty cash), сертификат участия (PC participation certificate)40) Биотехнология: Pockels cell41) Геофизика: персональная электронно-вычислительная машина42) Транспорт: Passenger Car, Politically Correct, Precious Cargo43) Пищевая промышленность: Pass The Corona, Plant Corn, Pork Chops44) Силикатное производство: photochromic, portland cement45) Фирменный знак: PCA Electronics, Prism Card46) Энергетика: (powderized coal) порошкообразный уголь48) Деловая лексика: Paper Copy, Paying Customer, Person Contacted, Personally Crafted, Planning And Control, Power Compact, Precedents Committee, Product Closure, Production Capability, Production Cup, Professional Corporation, Profit Choice, Profitability Constraint, Purchase Constantly, персональная вычислительная машина (personal computer), частичная загрузка, производственный контракт49) Бурение: портер-крик (Porter Creek; свита группы мидуэй палеоцена третичной системы), пэйнт-крик (Paint Creek; свита отдела честер миссисипской системы), укороченная бурильная труба (pony collar)50) Глоссарий компании Сахалин Энерджи: Pressure control, processing center51) Образование: Perfect For Child, Phrase Command, Physically Challenged, Polite And Courteous52) Инвестиции: participation certificate, petty cash53) Сетевые технологии: Personal Cluster, personal computer, ПК, персональный компьютер семейства54) Полимеры: polycarbonate, polychloroprene, post-chlorinated, potential corrosivity, pressure controller55) Автоматика: plug control, персональная ЭВМ, программируемый командоаппарат, программируемый контроллер56) Контроль качества: parameter check-out57) Химическое оружие: ( KHIMBIOKOM) -\> President's Committee for Conventional Problems of Chemical and Biological Weapons, Project coordinator59) Макаров: phase comparator, programmable control, programming center, поликарбонат, (plug control) цикловое ПУ60) Расширение файла: Parametric Cubic, Printed Circuit, Processor Controller, Program Computer, Punch Card, Text file containing IBM PC specific info61) Нефть и газ: process condensate, performance contract, (Production Crude) Добытая нефть62) Логистика: physical cases (кейсы, ящики, контейнеры)63) Военно-политический термин: Political Committee64) Электротехника: peaking capacity, phase control, power contactor, pulsating current, pulverized coal65) Имена и фамилии: Prince Charming66) Ebay. Piece (e.g., "2pc" means the auction comes with two total units)67) Печатные платы: production capable68) ООН: Peaceful Coexistance69) Цемент: plain cement, бездобавочный цемент, клинкерный цемент, цемент без добавок, чистый клинкерный цемент, straight cement70) Общественная организация: Population Connection, Population Council, Presidential Classroom, Programme Committee, Public Citizen71) Должность: Paper Carrier, Perfect Corner, Perfectly Comfortable, Personal Consultant, Poetic Chap, Privy Counsellor72) Чат: Past Caring, Post A Comment, Pretty Chancy, Pretty Cheap, Pretty Clever, Pretty Cool, Pretty Cute73) Правительство: Pacific Crest, Panama City, Florida, Pepper Canyon, Pine Creek74) NYSE. P C Holdings, S. A.75) Аэропорты: система количества мест (Piece Conсept:; as opposed to Weight Conсept)76) Программное обеспечение: Proof Checker77) Хобби: Platina Cards -
15 pc
1) Общая лексика: ПЭВМ, (Permanent Council) ПС (Постоянный совет) (ОБСЕ)2) Компьютерная техника: Painless Computing, Personal Computing, Personally Configured, Poor Communication, Proactive Computing, Processor Control, Programmable Calculator3) Геология: Pacific Coast, Pocket Computer4) Медицина: Prompt Care, primary cell, prenylcysteine5) Американизм: Penn Charter, Presidents Council, Privatization And Cuts6) Спорт: Paul's Chips, Pitch Class, Player Characteristic, Player Coach, Pre Christ, Punt Center, Республиканский Совет7) Латинский язык: Patres Conscripti8) Военный термин: II PROVIDE COMFORT II, Parallel Computing, Pass Certified, Patrol Coastal, Pay Corps, Paymaster-in-Chief, Pharmacy Corps, Police Corps, Postal Clerk, Power Converter, Procurement Command, Provide Comfort, pack code, panoramic camera, paralyzing concentration, parts catalog, past commander, patrol carrier, patrol commander, patrol craft, pay clerk, performance code, personnel carrier, plane captain, plane commander, port call, positive control, post commander, power control, predictor control, primary center, principal chaplain, procurement coordinator, production control, program change, program control, programmed check, project code, project control, project coordination, projector charge, prophylactic center, prototype concept, pseudocode, purchasing and contracting9) Техника: Personal Call, current price, paper chromatography, parity check, parity control, partly cash, pay card, perfectly conducting, peripheral controller, personal correction, phase center, photo-cathode, photoconductor, plant computer, plasma chromatography, polar crane, polymer concrete, power center, pressure chamber, prime contractor, private circuit, process computer, process control, process controller, production certificate, professional communication, program console, program coordinator, program costs, project charter, proportional counter, propulsive coefficient, protective clothing, protective coating, pulse counter, показатель концентрации солей10) Сельское хозяйство: post challenge, prime cost11) Шутливое выражение: Perfect Computer, Personal Confuser, Plastic Computer12) Химия: Propylene Carbonate, potential controller13) Математика: Perfectly Complex, Polar Cycloaddition, исчисление высказываний (propositional calculus), исчисление предикатов (predicate calculus), парное сравнение (paired comparison)14) Религия: Perfectly Created, Persecuted Christian15) Метеорология: Program Council16) Железнодорожный термин: Consolidated Rail Corporation17) Юридический термин: Partial Conversion, Personal Cause, Personal Copier, Personally Corrupt, Physical Containment, Plain Courtesy, Probable Cause18) Бухгалтерия: Per Capita, Premier Casting19) Астрономия: Planetary Contrast20) Ветеринария: Pet Chihuahua, Pony Club21) Грубое выражение: Piece Of Crap, Poncey Crap, Pretentious Crap, Pretty Crappy, Pushy Chick22) Металлургия: первичное охлаждение (primary cooling) (прямого коксового газа)23) Музыка: Polyphonic Collection24) Оптика: photoconductive25) Политика: Pitcairn Islands, Progressive Conservative, политкорректно, политкорректный26) Радио: Poor Connection, PALAPA-C, диапазон С-Палапа (спутниковый)27) Телекоммуникации: Path Control, Personal Communications, Program Counter, персональный компьютер28) Сокращение: (type abbreviation) Patrol craft, Patrol Craft (River; R), Patrol Craft, Fast (USA; F), Peace Corps, PerCent; PerCentage, Personal Computer (IBM wants you to believe a specific kind), Physical Conditioning, Platoon Commander, Player Character, Post Card, Postal & Courier, Printed Circuit (electronics circuit board), Privileged Character, Privy Council, Providence College, Pulse Compression, paid cash, pitch circle, planned cost, plug cock, point of curve, police constable, private contract, production cost, тайный совет (Великобритания) (a privy council), Progressive Conservative party (Canada), Post Cibum (after meals), prime costs, privy councillor29) Текстиль: Pearl Cotton30) Университет: Partial Credit, Pomona College31) Физиология: After Meals, Perforated Cranium, Peripheral Clarity, Phone call, Posterior Cervical, Present Complaint32) Электроника: Powder Coating, Pre-emphasis Circuits33) Вычислительная техника: DOS personal computer disk operating system, Priority Control, Protocol Control, parameter checkout, photocell, primary cache, processing complexity, programmable controller, pulse code, pulse controller, punched card, Printed Circuit (IC), Player Character (see, Role-playing), персональный компьютер семейства IBM PC, указатель команд34) Нефть: photoclinometer, производственный сертификат (production certificate), Peзиcтивимeтpия35) Иммунология: Primitive Cell36) Биохимия: phosphatidylcholine37) Онкология: Prostate Cancer38) Картография: pilotage chart, point of curvature39) Банковское дело: мелкие деньги (petty cash), небольшая наличная сумма (petty cash), разменная монета (petty cash), сертификат участия (PC participation certificate)40) Биотехнология: Pockels cell41) Геофизика: персональная электронно-вычислительная машина42) Транспорт: Passenger Car, Politically Correct, Precious Cargo43) Пищевая промышленность: Pass The Corona, Plant Corn, Pork Chops44) Силикатное производство: photochromic, portland cement45) Фирменный знак: PCA Electronics, Prism Card46) Энергетика: (powderized coal) порошкообразный уголь48) Деловая лексика: Paper Copy, Paying Customer, Person Contacted, Personally Crafted, Planning And Control, Power Compact, Precedents Committee, Product Closure, Production Capability, Production Cup, Professional Corporation, Profit Choice, Profitability Constraint, Purchase Constantly, персональная вычислительная машина (personal computer), частичная загрузка, производственный контракт49) Бурение: портер-крик (Porter Creek; свита группы мидуэй палеоцена третичной системы), пэйнт-крик (Paint Creek; свита отдела честер миссисипской системы), укороченная бурильная труба (pony collar)50) Глоссарий компании Сахалин Энерджи: Pressure control, processing center51) Образование: Perfect For Child, Phrase Command, Physically Challenged, Polite And Courteous52) Инвестиции: participation certificate, petty cash53) Сетевые технологии: Personal Cluster, personal computer, ПК, персональный компьютер семейства54) Полимеры: polycarbonate, polychloroprene, post-chlorinated, potential corrosivity, pressure controller55) Автоматика: plug control, персональная ЭВМ, программируемый командоаппарат, программируемый контроллер56) Контроль качества: parameter check-out57) Химическое оружие: ( KHIMBIOKOM) -\> President's Committee for Conventional Problems of Chemical and Biological Weapons, Project coordinator59) Макаров: phase comparator, programmable control, programming center, поликарбонат, (plug control) цикловое ПУ60) Расширение файла: Parametric Cubic, Printed Circuit, Processor Controller, Program Computer, Punch Card, Text file containing IBM PC specific info61) Нефть и газ: process condensate, performance contract, (Production Crude) Добытая нефть62) Логистика: physical cases (кейсы, ящики, контейнеры)63) Военно-политический термин: Political Committee64) Электротехника: peaking capacity, phase control, power contactor, pulsating current, pulverized coal65) Имена и фамилии: Prince Charming66) Ebay. Piece (e.g., "2pc" means the auction comes with two total units)67) Печатные платы: production capable68) ООН: Peaceful Coexistance69) Цемент: plain cement, бездобавочный цемент, клинкерный цемент, цемент без добавок, чистый клинкерный цемент, straight cement70) Общественная организация: Population Connection, Population Council, Presidential Classroom, Programme Committee, Public Citizen71) Должность: Paper Carrier, Perfect Corner, Perfectly Comfortable, Personal Consultant, Poetic Chap, Privy Counsellor72) Чат: Past Caring, Post A Comment, Pretty Chancy, Pretty Cheap, Pretty Clever, Pretty Cool, Pretty Cute73) Правительство: Pacific Crest, Panama City, Florida, Pepper Canyon, Pine Creek74) NYSE. P C Holdings, S. A.75) Аэропорты: система количества мест (Piece Conсept:; as opposed to Weight Conсept)76) Программное обеспечение: Proof Checker77) Хобби: Platina Cards -
16 static analysis
= static code analysisнабор методов анализа исходного текста или объектного кода программы (без его исполнения) с целью понять, что эта программа делает, и определить критерии правильности её функционирования (correctness criteria); также используется компилятором, чтобы собрать факты, полезные для оптимизации. Этот термин обычно относится к анализу, выполняемому при помощи автоматических инструментов; если анализ делает человек, которому нужно понять, как построена и как работает программа, это называется осмыслением программы (program understanding) или обозримостью программы (program comprehension)Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > static analysis
-
17 proof
pru:f
1. сущ.
1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof ≈ представить доказательство These suspicions are confirmed by the most direct proof. ≈ Эти подозрения подтверждаются самыми прямыми доказательствами. ample proof clear proof conclusive proof convincing proof definite proof documentary proof incontestable proof indisputable proof irrefutable proof mathematical proof positive proof undeniable proof unquestionable proof б) юр. доказательство (виновности) (в форме свидетельских показаний, вещественных доказательств или какой-л. другой)
2) а) проверка, испытание;
проба Syn: test
1., trial
1., experiment
1. ;
examination, probation;
assay
1. б) мат. проверка ( правильности арифметических действий)
3) а) установленный градус крепости спирта above (under) proof ≈ выше (ниже) установленного градуса б) спирт установленной крепости
4) пробирка
5) фото первый, пробный отпечаток с пленки
6) а) корректура;
гранка б) пробный оттиск( с гравюры)
7) непроницаемость, защищенность( от чего-л.)
2. прил.
1) а) непроницаемый (against) ;
непробиваемый the proofest steel of Milan ≈ самая крепкая миланская сталь б) перен. недоступный, не поддающийся( лести и т. п.) в) используется как компонент сложных слов со значением 'гарантированно защищающий от чего-л.' a waterproof raincoat ≈ непромокаемый плащ ∙ Syn: strong, impenetrable, impervious, invulnerable
2) установленной крепости, определенной крепости (об алкогольных напитках)
3. гл.
1) а) делать непроницаемым и пр. [см. proof
2. ] б) спец. делать водонепроницаемым, придавать водонепроницаемость Syn: waterproof
3.
2) проверять, оценивать, испытывать а) полигр. вычитывать текст, осуществлять корректуру б) давать подходить тесту перед выпечкой в) делать пробный отпечаток с фотопленки Syn: test
2., estimate
2. доказательство;
подтверждение - * positive неопровержимое доказательство - documentary *, * by documentary evidence документальное доказательство - to give *s представить доказательства испытание, проверка, проба - * stick щуп, зонд( шотландское) (юридическое) судебное разбирательство без участия суда присяжных (полиграфия) корректура, пробный оттиск - * in galley, galley * гранки, корректура в гранках( полиграфия) пробный оттиск с гравюры( полиграфия) необрезанные края более узких и коротких листов книги (фотографическое) пробный отпечаток крепость( спирта) - above * выше установленного градуса пробирка неуязвимость;
непробиваемость непроницаемость;
герметичность защита( от чего-либо) - fool * автоматическое защитное приспособление, защита от неосторожного или неправильного обращения > the * of the pudding is in the eating чтобы узнать, каков пудинг, надо его попробовать;
все проверяется на практике, обо всем судят по результатам непроницаемый;
непробиваемый - * against bullets пуленепробиваемый - * against weather непромокаемый - to be * against water не пропускать воду;
быть водонепроницаемым не поддающийся, недоступный ( чему-либо) установленной крепости (о спирте) испытанный;
выдержавший испытание;
проверенный - * armour испытанное оружие как компонент сложных слов - fire-proof огнестойкий, огнеупорный - water-proof водонепроницаемый делать не поддающимся воздействию;
придавать стойкость, непроницаемость, непробиваемость - to * cloth делать материю водонепроницаемой (полиграфия) делать пробный оттиск (полиграфия) читать корректуру, гранки (фотографическое) делать пробный отпечаток испытывать;
проверять ~ установленный градус крепости спирта;
above (under) proof выше (ниже) установленного градуса absolute ~ определенное доказательство constructive ~ конструктивное доказательство correctness ~ доказательство правильности fictitious ~ ложное доказательство final burden of ~ окончательная обязанность доказывания final burden of ~ окончательное бремя доказывания further ~ дополнительное доказательство page ~ полигр. корректурный оттиск со сверстанного набора page ~ страничная корректура press ~ полигр. сводка prima facie ~ доказательство, достаточное при отсутствии опровержения produce ~ предъявлять доказательство program ~ вчт. доказательство правильности программы proof делать непроницаемым ~ в сложных словах означает устойчивый, непроницаемый, не поддающийся действию ( чего-л.) ;
waterproof водонепроницаемый ~ делать пробный оттиск ~ доказательство;
this requires no proof это не требует доказательства ~ доказательство ~ доказывание ~ испытание;
проба;
to put (smth.) to the proof испытать( что-л.), подвергнуть( что-л.) испытанию ~ испытание ~ корректура;
гранка;
пробный оттиск (с гравюры) ~ корректура ~ недоступный, не поддающийся (лести и т. п.) ~ недоступный ~ непробиваемый ~ непроницаемый (against) ;
непробиваемый ~ непроницаемый ~ придавать непроницаемость ~ проба ~ пробирка ~ пробный оттиск ~ проверка ~ мат. проверка ~ (шотл.) рассмотрение дела судьей вместо суда присяжных ~ свидетельское показание ~ установленной крепости (о спирте) ~ установленный градус крепости спирта;
above (under) proof выше (ниже) установленного градуса ~ by appearance доказательство, достаточное при отсутствии опровержения ~ by appearance презумпция доказательства ~ in slips полигр. корректура в гранках ~ of debt банкрот. подтверждение доказательством заявления кредитора ~ of evidence свидетельское показание ~ of good character and repute рекомендательное письмо ~ of identity доказательство подлинности ~ of membership членский билет ~ of nonnegligent behaviour доказательство отсутствия небрежности ~ of paternity доказательство отцовства ~ of posting контроль проводки ~ of purchase доказательство покупки ~ of service доказательство оказания услуги ~ of termination вчт. доказательство правильности завершения работы ~ of will доказывание завещания ~ испытание;
проба;
to put (smth.) to the proof испытать (что-л.), подвергнуть (что-л.) испытанию reproduction ~ полигр. оттиск с набора, предназначенного для фоторепродуцирования specimen ~ print. пробный оттиск ~ доказательство;
this requires no proof это не требует доказательства ~ в сложных словах означает устойчивый, непроницаемый, не поддающийся действию (чего-л.) ;
waterproof водонепроницаемый water-repellent: water-repellent = waterproof waterproof: waterproof водонепроницаемый, непромокаемый ~ непромокаемый плащ ~ придавать водонепроницаемость written ~ письменное доказательство -
18 proof
[pru:f]proof установленный градус крепости спирта; above (under) proof выше (ниже) установленного градуса absolute proof определенное доказательство constructive proof конструктивное доказательство correctness proof доказательство правильности fictitious proof ложное доказательство final burden of proof окончательная обязанность доказывания final burden of proof окончательное бремя доказывания further proof дополнительное доказательство page proof полигр. корректурный оттиск со сверстанного набора page proof страничная корректура press proof полигр. сводка prima facie proof доказательство, достаточное при отсутствии опровержения produce proof предъявлять доказательство program proof вчт. доказательство правильности программы proof делать непроницаемым proof в сложных словах означает устойчивый, непроницаемый, не поддающийся действию (чего-л.); waterproof водонепроницаемый proof делать пробный оттиск proof доказательство; this requires no proof это не требует доказательства proof доказательство proof доказывание proof испытание; проба; to put (smth.) to the proof испытать (что-л.), подвергнуть (что-л.) испытанию proof испытание proof корректура; гранка; пробный оттиск (с гравюры) proof корректура proof недоступный, не поддающийся (лести и т. п.) proof недоступный proof непробиваемый proof непроницаемый (against); непробиваемый proof непроницаемый proof придавать непроницаемость proof проба proof пробирка proof пробный оттиск proof проверка proof мат. проверка proof (шотл.) рассмотрение дела судьей вместо суда присяжных proof свидетельское показание proof установленной крепости (о спирте) proof установленный градус крепости спирта; above (under) proof выше (ниже) установленного градуса proof by appearance доказательство, достаточное при отсутствии опровержения proof by appearance презумпция доказательства proof in slips полигр. корректура в гранках proof of debt банкрот. подтверждение доказательством заявления кредитора proof of evidence свидетельское показание proof of good character and repute рекомендательное письмо proof of identity доказательство подлинности proof of membership членский билет proof of nonnegligent behaviour доказательство отсутствия небрежности proof of paternity доказательство отцовства proof of posting контроль проводки proof of purchase доказательство покупки proof of service доказательство оказания услуги proof of termination вчт. доказательство правильности завершения работы proof of will доказывание завещания proof испытание; проба; to put (smth.) to the proof испытать (что-л.), подвергнуть (что-л.) испытанию reproduction proof полигр. оттиск с набора, предназначенного для фоторепродуцирования specimen proof print. пробный оттиск proof доказательство; this requires no proof это не требует доказательства proof в сложных словах означает устойчивый, непроницаемый, не поддающийся действию (чего-л.); waterproof водонепроницаемый water-repellent: water-repellent = waterproof waterproof: waterproof водонепроницаемый, непромокаемый proof непромокаемый плащ proof придавать водонепроницаемость written proof письменное доказательство
См. также в других словарях:
Program analysis — For other uses, see Program analysis (disambiguation). In computer science, program analysis is the process of automatically analysing the behavior of computer programs. Two main approaches in program analysis are static program analysis and… … Wikipedia
Program analysis (computer science) — Computer program analysis is the process of automatically analysing the behavior of computerprograms.Two main approaches in program analysis are static program analysisand dynamic program analysis.Main applications of program analysis are program … Wikipedia
Correctness (computer science) — In theoretical computer science, correctness of an algorithm is asserted when it is said that the algorithm is correct with respect to a specification. Functional correctness refers to the input output behaviour of the algorithm (i.e., for each… … Wikipedia
Program derivation — In computer science, program derivation is the derivation of a program from its specification, by mathematical means.To derive a program means to write a formal specification, which is usually non executable, and then apply mathematically correct … Wikipedia
Const-correctness — In computer science, const correctness is the form of program correctness that deals with the proper declaration of objects as mutable or immutable. The term is mostly used in a C or C++ context, and takes its name from the const keyword in those … Wikipedia
const-correctness — In computer science, const correctness is the form of program correctness that deals with the proper declaration of objects as mutable or immutable. The term is mostly used in a C or C++ context, and takes its name from the const keyword in those … Wikipedia
Political correctness — Politically incorrect redirects here. For other uses, see Politically incorrect (disambiguation). Political correctness (adjectivally, politically correct; both forms commonly abbreviated to PC) is a term which denotes language, ideas, policies,… … Wikipedia
Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… … Wikipedia
Structured programming — can be seen as a subset or subdiscipline of procedural programming, one of the major programming paradigms. It is most famous for removing or reducing reliance on the GOTO statement.Historically, several different structuring techniques or… … Wikipedia
Programming language specification — A programming language specification is an artifact that defines a programming language so that users and implementors can agree on what programs in that language mean.A programming language specification can take several forms, including the… … Wikipedia
Extended ML — is a specification language created by Kahrs, Sannella and Tarlecki based on the ML programming language. It extends the syntax of ML to include axioms, which need not be executable but can rigorously specify the behavior of the program. With… … Wikipedia
